results for Most General Unifier